Architecting Dynamic Reconfiguration in Dependable Systems

نویسندگان

  • Antônio Tadeu A. Gomes
  • Thaís Vasconcelos Batista
  • Ackbar Joolia
  • Geoff Coulson
چکیده

The need for dynamic reconfiguration is a complicating factor in the design of dependable systems, as it demands from software architects both rigour and planning. Although recent research has shown that systematic and integrated “specification-to-deployment” environments are promising approaches to architecting dependable systems, few proposals have yet considered dynamic reconfiguration, and then only in specific situations. In this paper, we propose a generic approach to supporting dynamic reconfiguration in dependable systems. The proposed approach is built on our view that dynamic reconfiguration in such systems needs to be causally connected at runtime to a corresponding high-level software architecture specification. In more detail, we propose two causally-connected models: an architecture-level model and a runtime-level model. Dynamic reconfiguration can be applied either through an architecture specification at the architecture level, or through reconfiguration primitives at the runtime level. Both foreseen and unforeseen reconfigurations are supported. We discuss the issues involved in handling these two types of reconfiguration at both levels and the mapping between them. We also discuss an implementation of our approach that evaluates its main benefits.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

COMPUTING SCIENCE A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems

This paper uses a case study to evaluate three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The reconfiguration of an office workflow for order processing is described. The requirements on the workflow's reconfiguration and general reconfiguration requirements are defined. The workflow is modelled using the ...

متن کامل

Architecting Dependable Access Control Systems for Multi-domain Computing Environments

Modern computing systems are built based on Service Oriented Architectures and are made up of multiple distributed components. They often span separate and autonomous domains of administration and involve dynamic collaboration. Resources and services are exposed as Web Services that are a natural choice for achieving interoperability in a heterogeneous computing environment. Access control syst...

متن کامل

Future study of Description System Architecture Approaches with Emphasis on Strategic Management

Systems Architecture is a generic discipline to handle objects (existing or to be created) called systems, in a way that supports reasoning about the structural properties of these objects. Systems Architecture is a response to the conceptual and practical difficulties of the description and the design of complex systems. Systems Architecture is a generic discipline to handle objects (existin...

متن کامل

On Formalisms for Dynamic Reconfiguration of Dependable Systems

Three formalisms of different kinds – VDM, Maude, and basic CCS – are evaluated for their suitability for the modelling and verification of dynamic software reconfiguration using as a case study the dynamic reconfiguration of a simple office workflow for order processing. The research is ongoing, and initial results are reported.

متن کامل

The Role of Event Description in Architecting Dependable Systems

Software monitoring is a well-suited technique to support the development of dependable systems, and has been widely applied not only for this purpose, but also for others such as debugging, security, performance, etc. Software monitoring consists of observing the dynamic behavior of programs when executed, by detecting particular events and states of interest, and analyzing this information fo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006